إثبات المعرفة الصفرية

تُعد بريفيس منصة حسابات قابلة للتحقق تعتمد على إثباتات المعرفة الصفرية (ZK)، وتُسمى "طبقة الحوسبة اللانهائية" لـ Web3. وتعتمد منهجية بريفيس الأساسية على تنفيذ الحسابات كثيفة الموارد خارج السلسلة، بينما يقوم البلوكشين بالتحقق من إثبات موجز فقط.

Pico zkVM هي آلة افتراضية قائمة على إثبات المعرفة الصفرية (zkVM) مفتوحة المصدر ومرنة من Brevis (BREV). تتيح للمطورين كتابة أي منطق حسابي بلغة Rust وإنتاج إثبات معرفة صفرية (ZK) يثبت تنفيذ العمليات الحسابية بشكل صحيح.

يقوم معالج البيانات المساعد ZK بحل مشكلة عدم قدرة العقود الذكية على الوصول إلى البيانات التاريخية، من خلال تمكين استرجاع البيانات التاريخية أو البيانات عبر السلسلة من العقدة المؤرشفة خارج السلسلة، وتنفيذ العمليات الحسابية، ثم إرجاع إثبات عديم المعرفة يؤكد صحة النتيجة وأصالة ودقة البيانات. ويمكن للعقد التحقق من هذا الإثبات على السلسلة خلال أجزاء من الثانية. يتضمن تدفق البيانات أربع مراحل: طلب التقديم، العمليات الحسابية خارج السلسلة، توليد إثبات ZK، والتحقق على السلسلة مع استلام النتيجة، ما يتيح استنتاجات موثوقة دون الحاجة لإعادة معالجة جميع البيانات.

تقوم الأوراكل أساسًا بجلب البيانات الخارجية، خارج السلسلة، إلى البلوكشين، وتعتمد مصداقيتها على العقدة والحوافز الاقتصادية. أما المعالجات المشتركة القائمة على إثبات المعرفة الصفرية مثل Brevis، فتركز على إجراء عمليات حسابية قابلة للتحقق للبيانات التاريخية الموجودة على السلسلة، مستفيدة من إثباتات المعرفة الصفرية للسماح بالتحقق المباشر على السلسلة لنتائج العمليات. تشغل هاتان التقنيتان جانبين متقابلين في تدفق بيانات البلوكشين، وتقدمان أدوارًا مكملة فيما يتعلق باتجاه البيانات ونماذج الثقة والقدرات الحسابية. ولا توجد حدود واضحة بينهما؛ ففي الواقع، غالبًا ما يتم اعتماد أساليب هجينة تعاونية.

BREV هو الرمز الأصلي لشبكة Brevis، ويتيح ثلاث مهام رئيسية: دفع رسوم الإثبات، تخزين المُثبِت، وحوكمة البروتوكول. تعمل coChain كبلوكشين إثبات الحصة مع آليات تخزين وخصم تعتمد على Ethereum. يقدّم المُدقِّقون نتائجهم على شكل "مقترحات" إلى سلسلة الطلبات، مما يفتح نافذة للتحدي. إذا تم الطعن في مقترح غير صحيح بنجاح باستخدام إثبات المعرفة الصفرية، يتم خصم مبلغ التخزين المرتبط على Ethereum. أما إذا لم يتم تقديم أي تحدٍ، تُقبل النتيجة تلقائيًا، مما يوفر تكلفة الإثبات.

يكمن الفارق الجوهري بين Manta Pacific وManta Atlantic في أدوارهما الوظيفية المختلفة: فـ Pacific هي شبكة طبقة 2 معيارية مبنية على إيثريوم، متخصصة في نشر وتوسيع نطاق التطبيقات اللامركزية القائمة على البراهين ذات المعرفة الصفرية (ZK)؛ أما Atlantic فهي شبكة طبقة 1 من ZK على بولكادوت، مخصصة للبنية التحتية لهوية الامتثال على السلسلة عبر zkAddress وzkSBT. تنتمي كلتا السلسلتين إلى النظام البيئي لـ Manta Network، وتتقاسمان رمز الخدمة الأصلي MANTA، لكنهما تختلفان بنيويًا في أنظمتهما البيئية الأساسية، والمكدسات التقنية، وفئات المستخدمين المستهدفة.

مانتا نيتورك (MANTA) هي منظومة بلوكشين معيارية مخصصة لتطبيقات صفر المعرفة (ZK)، وتضم مكونين: مانتا باسيفيك—وهي شبكة طبقة 2 معيارية ضمن منظومة إيثريوم—ومانتا أتلانتيك، وهي شبكة طبقة 1 بصفر المعرفة على بولكادوت. تعتمد باسيفيك على طبقة توافر البيانات "سيليستيا" إلى جانب بيئة تنفيذ EVM/zkEVM لتمكين التطبيقات اللامركزية، بينما تتخصص أتلانتيك في الهوية المتوافقة على السلسلة، وتقديم بنية تحتية قابلة للبرمجة لهوية صفر المعرفة عبر zkSBT وzkAddress.

Universal Circuits هي مكتبة دوائر جاهزة قائمة على خدمة ZK (ZK-as-a-Service) منشورة على Manta Pacific. يمكن لمطوّري Solidity إضافة وظائف المعرفة الصفرية إلى تطبيقاتهم اللامركزية (dApps) عبر واجهات العقود القياسية، دون الحاجة إلى التحول إلى لغات ZK متخصصة مثل Cairo. وتشمل التطبيقات النموذجية: المدفوعات المتوافقة، والتحقق من الهوية، والألعاب على السلسلة مثل zkShuffle.

zkAddress وzkSBT هما المكونان الأساسيان لهوية الخصوصية اللذان طورتهما Manta Network على سلسلة Manta Atlantic. يوفر zkAddress عناوين خصوصية من نمط UTXO قابلة لإعادة الاستخدام، بينما يربط zkSBT بيانات اعتماد الامتثال بذلك العنوان عبر إثباتات المعرفة الصفرية. ويشكلان معًا البنية التحتية للهوية المتوافقة على سلسلة Atlantic، مما يمكّن تطبيقات Web3 من التحقق من الهويات دون الكشف عن البيانات الشخصية الأصلية للمستخدمين.

تتضمن عملية جسر الأصول إلى Manta Pacific خطوات متكررة من الإقفال، والسك، وتعيين الأرصدة بين Ethereum الشبكة الرئيسية وManta Pacific، وهي شبكة طبقة 2 معيارية، وذلك باستخدام جسر عبر السلسلة. وتعمل Manta Pacific بوصفها طبقة التنفيذ لشبكة Manta ضمن منظومة Ethereum، حيث تتيح النشر والتفاعل على السلسلة لأصول ETH وERC-20 وغيرها من الأصول. وللمشاركة في تطبيقات النظام البيئي على جانب Pacific، ينبغي للمستخدمين فهم كيفية تفعيل الجسر، وكيفية تغيّر حالات النظام داخليًا، وطريقة التأكد من وصول الأموال.

Zcash Orchard هو مجمع المعاملات المحمية من الجيل الثالث في شبكة Zcash، ويُبنى على نظام إثبات المعرفة الصفرية Halo 2 لتعزيز كفاءة المعاملات الخاصة وقابليتها للتوسع وقابليتها للترقية طويلة الأجل. وبالمقارنة مع الإصدارين السابقين Sprout وSapling، يُقلّص Orchard الاعتماد على الإعداد الموثوق، مع تحسين سير عمل توليد الإثباتات والتحقق منها.

تستبدل آلية التشغيل الأساسية في Nockchain حسابات التجزئة التقليدية لنظام إثبات العمل (PoW) بإثباتات المعرفة الصفرية. ففي Nockchain، لم يعد عمال التعدين يتنافسون على الكتل عبر عمليات تجزئة غير مجدية، بل يولّدون إثباتات قابلة للتحقق للمشاركة في إجماع الشبكة. وتشتمل بنية Nockchain على مكونات مثل NockVM وNockApp وProofpower وGlobal Consensus SNARKs، وكلها صُممت لبناء شبكة إثبات لامركزية تدعم AI، وتطبيقات الخصوصية، والحسابات القابلة للتحقق.

Nockchain هي شبكة بلوكشين قائمة على إثبات العمل بالمعرفة الصفرية (ZKPoW)، وهدفها الجوهري استبدال حسابات التجزئة غير المجدية في نظام إثبات العمل التقليدي بإنتاج إثباتات المعرفة الصفرية (ZK proving) القابلة للتحقق وذات القيمة التطبيقية. وخلافًا لـ Bitcoin التي تقوم على التنافس في معدل التجزئة، تُوجّه Nockchain القوة الحاسوبية للمعدّنين نحو إنتاج إثباتات حسابية قابلة للتحقق، لتؤسّس بذلك نموذج "إثبات عمل مفيد".

يُعد كل من Railgun وTornado Cash بروتوكولَي خصوصية على السلسلة، لكنهما يختلفان اختلافًا جوهريًا في فلسفة التصميم ونهج التشغيل. يعمل Tornado Cash كمازج مجهول الهوية، مستخدمًا مجمعات ذات فئات ثابتة لكسر الارتباط بين الأموال. في المقابل، يعتمد Railgun على بروتوكول التمويل اللامركزي الخاص القائم على zk-SNARK، مما يتيح حسابات خصوصية، ومعاملات سرية، وتفاعلات مجهولة مع العقود الذكية.

يُعد Railgun بروتوكول خصوصية للتمويل اللامركزي (DeFi) يعمل على سلاسل بلوكشين EVM، ويوظف إثباتات المعرفة الصفرية zk-SNARK لإخفاء عناوين المستخدمين وأرصدة الأصول ومبالغ المعاملات والنشاط على السلسلة، مع الحفاظ على قابلية التشغيل البيني مع بروتوكولات النظام البيئي كـ Ethereum وArbitrum وBNB Chain. بخلاف عملات الخصوصية أو الخلاطات التقليدية، لا يعتمد Railgun على سلسلة بلوكشين منفصلة؛ بل يتيح إجراء معاملات خاصة وتفاعلات مجهولة مع العقود الذكية مباشرة على السلسلة الأصلية.